181. Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Parallel processing )Electronic computing(-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Compilers )Computer programs(-- Congresses

رده :
QA
76
.
58
.
L36
1993

182. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture

رده :
QA
76
.
L28
Vol
.
1915

183. #Languages, compilers, and tools for embedded systems

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Embedded computer systems- Programming- Congresses ،Programming languages )Electronic computers(- Congresses ،Compilers )Computer programs(- Congresses

رده :
#
QA
،#.
A13
،#
2000

184. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(

رده :
QA
76
.
L28
Vol
.
1985

185. Logic and computer science

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses

رده :
QA
9
.
A1L6
1990

186. Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Computers architecture,، Programming language )Electronic Computers(

رده :
QA
75
.
5
.
B67
1989

187. Logic, language, and computation

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;

188. Logic, language, and computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :
QA76
.
9
.
L63
I57
2009eb

189. Logic, language, and computation

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005

190. Logic, language, and computation

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها

رده :
QA
75
.
5
.
L644
2015
E-Book
,

191. Logic program synthesis and transformation - meta-programming in logic :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.

192. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
L595
1984

193. Logics of Programs Workshop, Yorktown Heights, New York, May 1981

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
131

194. Logics of Programs Workshop, Yorktown Heights, New York, May 1981

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
L594
1981

195. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
164

196. Logics of programs and their applications: proceedings, pozan, August 23-29, 1980

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
S91935
1980

197. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning

رده :
QA
76
.
7
.
A285
2005

198. Machine oriented higher level languages

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) -- Congresses

رده :
QA
76
.
I18
1973

199. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
I18
1973

200. Machines, languages, and complexity

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses

رده :
QA
76
.
5
.
I5773
1988